Mahlo cardinal

Results: 22



#Item
11Mathematics / Cardinal number / Mahlo cardinal / Constructible universe / Inaccessible cardinal / Large cardinals / Mathematical logic / Set theory

Axiomatic Set Theory: Problem sheet 7 1. Prove that for any infinite cardinal κ, cf (κ) is a regular cardinal. 2. Suppose κ, λ are infinite cardinals such that κ ≥ λ. Prove that if λ ≥ cf (κ), then κλ > κ.

Add to Reading List

Source URL: people.maths.ox.ac.uk

Language: English - Date: 2009-02-02 11:27:43
12Ordinal numbers / Set theory / Cardinal number / Constructible universe / Ordinal arithmetic / Transfinite induction / Mahlo cardinal / Woodin cardinal / Mathematical logic / Large cardinals / Mathematics

Gra¸bczewski & Paulson Mechanizing Set Theory Mechanizing Set Theory: Cardinal Arithmetic and the Axiom of Choice

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2003-04-29 07:49:46
13Constructible universe / Cardinal number / Tree / Net / Limit ordinal / Ordinal arithmetic / Mahlo cardinal / Mathematical logic / Ordinal numbers / Mathematics

Weak Bisimulation Approximants Will Harwood, Faron Moller , and Anton Setzer Department of Computer Science, Swansea University Singleton Park, Sketty, Swansea SA2 8PP, UK {cswill,f.g.moller,a.g.setzer}@swansea.ac.uk

Add to Reading List

Source URL: www-compsci.swan.ac.uk

Language: English - Date: 2006-07-06 06:30:07
14Set theory / General topology / Constructible universe / Tree / Cardinal number / Net / Ordinal arithmetic / Mahlo cardinal / Mathematical logic / Mathematics / Ordinal numbers

Weak Bisimulation Approximants Will Harwood, Faron Moller, and Anton Setzer⋆ Department of Computer Science, Swansea University Singleton Park, Sketty, Swansea SA2 8PP, UK {cswill,f.g.moller,a.g.setzer}@swansea.ac.uk

Add to Reading List

Source URL: www.cs.swan.ac.uk

Language: English - Date: 2007-02-18 17:32:00
15Set theory / Weakly compact cardinal / Inaccessible cardinal / Critical point / Mahlo cardinal / Measurable cardinal / Constructible universe / Infinitary combinatorics / Forcing / Mathematical logic / Large cardinals / Mathematics

LARGE CARDINALS WITH FORCING Akihiro Kanamori This chapter describes, following the historical development, the investigation of

Add to Reading List

Source URL: math.bu.edu

Language: English - Date: 2012-03-06 14:12:26
16Set theory / Cardinal number / Constructible universe / Limit cardinal / Ordinal number / Normal function / Weakly compact cardinal / Mahlo cardinal / Mathematical logic / Large cardinals / Mathematics

Math 582 Intro to Set Theory Lecture 35

Add to Reading List

Source URL: kaharris.org

Language: English - Date: 2009-04-20 11:58:43
17Mathematics / Cardinal number / Zermelo–Fraenkel set theory / Forcing / Constructible universe / Mahlo cardinal / Model theory / Equiconsistency / Axiom / Mathematical logic / Large cardinals / Set theory

Thilo Volker Weinert Beschr¨

Add to Reading List

Source URL: wwwmath.uni-muenster.de

Language: English - Date: 2008-04-23 06:52:34
18Large cardinals / Cardinal numbers / Ordinal numbers / Cofinality / Constructible universe / Inaccessible cardinal / Continuum hypothesis / Successor cardinal / Mahlo cardinal / Mathematical logic / Mathematics / Set theory

PDF Document

Add to Reading List

Source URL: www.ucl.ac.uk

Language: English - Date: 2006-02-17 13:01:51
19Mathematics / Huge cardinal / Cofinality / Mahlo cardinal / Inaccessible cardinal / Constructible universe / Measurable cardinal / Cardinal number / Forcing / Large cardinals / Mathematical logic / Numbers

PDF Document

Add to Reading List

Source URL: www.math.helsinki.fi

Language: English - Date: 2010-05-30 08:27:28
20Mathematics / Mahlo cardinal / Inaccessible cardinal / Constructible universe / Cardinal number / Zermelo–Fraenkel set theory / Von Neumann universe / Ordinal number / Weakly compact cardinal / Large cardinals / Mathematical logic / Set theory

PDF Document

Add to Reading List

Source URL: www.ijpam.eu

Language: English - Date: 2011-02-26 12:32:08
UPDATE